COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	ailogi[e85,jmc]		Notes for book on the use of logic in AI
C00003 ENDMK
C⊗;
ailogi[e85,jmc]		Notes for book on the use of logic in AI

first order logic
examples of formalization in common sense setting
formal description of first order language
equality, conditional expressions and first order lambdas
rules of inference
first order languages and their models
normal forms
consistency, completeness
completeness and incompleteness of first order theories
Horn clauses and their semantic role
resolution and theorem proving
first order formalizations of common sense knowledge
higher order logic
set theory, zf and gb
modal logics, knowledge
reification